Modeling with the Timing Definition Language (TDL)
نویسندگان
چکیده
This paper describes the model-based development process of hard real-time software with the Timing Definition Language (TDL): modeling and simulation of TDL components in Matlab®/Simulink®, their mapping to a specific platform and finally the code generation.
منابع مشابه
Modeling and simulation of timing behavior with the Timing Definition Language ( TDL )
Most of the existing modeling methods and tools for embedded application development use levels of abstraction where execution and communication times of computational tasks are not adequately captured. Thus, properties such as time and value determinism, which are crucial for safety-critical real-time systems, cannot be guaranteed when refining the model to move it closer to a target platform....
متن کاملVisual Modeling of Real-Time Behavior
This paper describes the visual representation of the Timing Definition Language (TDL), a high-level textual description language for timing aspects of embedded real-time systems. For this purpose we have designed and implemented the so-called TDL:VisualCreator tool. The paper presents the core concepts of TDL, which comprises now both the time-triggered and eventtriggered paradigm, and exempli...
متن کاملModeling and Simulation of TDL Applications
Most of the existing modeling tools and frameworks for embedded applications use levels of abstraction where execution and communication times of computational tasks are not captured. Thus, properties such as time and value determinism can be lost when refining the model closer to a target platform. The Logical Execution Time (LET) paradigm has been proposed to deal with this issue, by enabling...
متن کاملSimulation of LET Models in Simulink and Ptolemy
This paper describes two different approaches of simulating embedded control software whose real-time requirements are explicitly specified by means of the Logical Execution Time (LET) abstraction introduced in the Giotto project. As simulation environments we chose the black-box MATLAB/Simulink product and the open-source project Ptolemy II. The paper first sketches the modeling of LET-based c...
متن کاملThe TDL Advantage
This report compares industrial state-of-the-art products (TTTech, DaVinci and dSPACE) for development of dependable real-time applications with the methodology introduced by Giotto and refined by the Timing Definition Language (TDL). Giotto/TDL aims at a paradigm shift in the development of dependable real-time control systems by focusing on the application rather than on the platform. It repr...
متن کامل